Frédéric Dadeau And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000780 | Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] ; Ghazi Maatoug [France] ; Michael Rusinowitch [France] | Model‐based mutation testing from security protocols in HLPSL |
This area was generated with Dilib version V0.6.33. |